Optimal. Leaf size=58 \[ \frac{1}{12} \sqrt{4 x^6-1} x^9-\frac{1}{96} \sqrt{4 x^6-1} x^3-\frac{1}{192} \tanh ^{-1}\left (\frac{2 x^3}{\sqrt{4 x^6-1}}\right ) \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.0734214, antiderivative size = 58, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 5, integrand size = 15, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.333 \[ \frac{1}{12} \sqrt{4 x^6-1} x^9-\frac{1}{96} \sqrt{4 x^6-1} x^3-\frac{1}{192} \tanh ^{-1}\left (\frac{2 x^3}{\sqrt{4 x^6-1}}\right ) \]
Antiderivative was successfully verified.
[In] Int[x^8*Sqrt[-1 + 4*x^6],x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 8.12988, size = 48, normalized size = 0.83 \[ \frac{x^{9} \sqrt{4 x^{6} - 1}}{12} - \frac{x^{3} \sqrt{4 x^{6} - 1}}{96} - \frac{\operatorname{atanh}{\left (\frac{2 x^{3}}{\sqrt{4 x^{6} - 1}} \right )}}{192} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate(x**8*(4*x**6-1)**(1/2),x)
[Out]
_______________________________________________________________________________________
Mathematica [A] time = 0.0323714, size = 48, normalized size = 0.83 \[ \frac{1}{192} \left (2 x^3 \sqrt{4 x^6-1} \left (8 x^6-1\right )-\log \left (\sqrt{4 x^6-1}+2 x^3\right )\right ) \]
Antiderivative was successfully verified.
[In] Integrate[x^8*Sqrt[-1 + 4*x^6],x]
[Out]
_______________________________________________________________________________________
Maple [C] time = 0.074, size = 53, normalized size = 0.9 \[{\frac{{x}^{3} \left ( 8\,{x}^{6}-1 \right ) }{96}\sqrt{4\,{x}^{6}-1}}-{\frac{\arcsin \left ( 2\,{x}^{3} \right ) }{192}\sqrt{-{\it signum} \left ( 4\,{x}^{6}-1 \right ) }{\frac{1}{\sqrt{{\it signum} \left ( 4\,{x}^{6}-1 \right ) }}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int(x^8*(4*x^6-1)^(1/2),x)
[Out]
_______________________________________________________________________________________
Maxima [A] time = 1.43965, size = 131, normalized size = 2.26 \[ -\frac{\frac{4 \, \sqrt{4 \, x^{6} - 1}}{x^{3}} + \frac{{\left (4 \, x^{6} - 1\right )}^{\frac{3}{2}}}{x^{9}}}{96 \,{\left (\frac{8 \,{\left (4 \, x^{6} - 1\right )}}{x^{6}} - \frac{{\left (4 \, x^{6} - 1\right )}^{2}}{x^{12}} - 16\right )}} - \frac{1}{384} \, \log \left (\frac{\sqrt{4 \, x^{6} - 1}}{x^{3}} + 2\right ) + \frac{1}{384} \, \log \left (\frac{\sqrt{4 \, x^{6} - 1}}{x^{3}} - 2\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(sqrt(4*x^6 - 1)*x^8,x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.227537, size = 193, normalized size = 3.33 \[ -\frac{4096 \, x^{24} - 2048 \, x^{18} + 320 \, x^{12} - 16 \, x^{6} -{\left (128 \, x^{12} - 32 \, x^{6} - 8 \,{\left (8 \, x^{9} - x^{3}\right )} \sqrt{4 \, x^{6} - 1} + 1\right )} \log \left (-2 \, x^{3} + \sqrt{4 \, x^{6} - 1}\right ) - 2 \,{\left (1024 \, x^{21} - 384 \, x^{15} + 40 \, x^{9} - x^{3}\right )} \sqrt{4 \, x^{6} - 1}}{192 \,{\left (128 \, x^{12} - 32 \, x^{6} - 8 \,{\left (8 \, x^{9} - x^{3}\right )} \sqrt{4 \, x^{6} - 1} + 1\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(sqrt(4*x^6 - 1)*x^8,x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [A] time = 10.082, size = 119, normalized size = 2.05 \[ \begin{cases} \frac{x^{15}}{3 \sqrt{4 x^{6} - 1}} - \frac{x^{9}}{8 \sqrt{4 x^{6} - 1}} + \frac{x^{3}}{96 \sqrt{4 x^{6} - 1}} - \frac{\operatorname{acosh}{\left (2 x^{3} \right )}}{192} & \text{for}\: 4 \left |{x^{6}}\right | > 1 \\- \frac{i x^{15}}{3 \sqrt{- 4 x^{6} + 1}} + \frac{i x^{9}}{8 \sqrt{- 4 x^{6} + 1}} - \frac{i x^{3}}{96 \sqrt{- 4 x^{6} + 1}} + \frac{i \operatorname{asin}{\left (2 x^{3} \right )}}{192} & \text{otherwise} \end{cases} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(x**8*(4*x**6-1)**(1/2),x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [F] time = 0., size = 0, normalized size = 0. \[ \int \sqrt{4 \, x^{6} - 1} x^{8}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(sqrt(4*x^6 - 1)*x^8,x, algorithm="giac")
[Out]